../default/workspace.dsl